Knihy od autora Howard Barringer

Zobrazené 1 – 5 z 5 výsledkov

1. 

   Temporal Logic in Specification

   Benham Banieqbal, Howard Barringer, Amir Pnueli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
2. 

   Advances in Temporal Logic

   Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough | Springer Netherlands, 2010

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   154.39 €

   Zľava 7 %

   Ušetríte 12.87 €

   Kúpiť
3. 

   Runtime Verification

   Howard Barringer, Ylies Falcone, Bernd Finkbeiner | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   56.04 €

   Kúpiť
4. 

   Advances in Temporal Logic

   Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough | Springer Netherlands, 1999

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   154.39 €

   Zľava 7 %

   Ušetríte 12.87 €

   Kúpiť
5. 

   A Survey of Verification Techniques for Parallel Programs

   Howard Barringer | Springer, Berlin

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   23.97 €

   Zľava 7 %

   Ušetríte 1.95 €

   Kúpiť

Knihy zasielame v špeciálnych obaloch z pevnej lepenky. Zistite viac